Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
751	Entangled abstract domains for higher-order programs Shuying Liang Matthew Might Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-03-23 14:11:52 Mathematics Structure Abstract interpretation Interpretation Cardinal number Metaphilosophy Model theory Logic Symbol
752	Extracting Hybrid Automata from Control Code Steven Lyde, Matthew Might University of Utah, Salt Lake City, Utah, USA, {lyde,might}@cs.utah.edu Abstract. Formal methods—and abstract interpretation in particular— Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Models of computation Applied mathematics Hybrid automaton Computer science Hybrid system Model checking State transition system Formal language Actor model Differential equations Automata theory Mathematics
753	Backward Induction is PTIME-complete Jakub Szymanik∗ Institute of Logic Language and Computation, University of Amsterdam [removed] Abstract. We prove that the computational problem of finding backward induc Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-07-13 09:14:28 Complexity classes Finite model theory Graph connectivity Game theory FO Reachability P Extensive-form game Tree Theoretical computer science Graph theory Mathematics
754	The Higgs Planck Scale Construct by William Gray Abstract Higgs boson decay measurement uncertainties and an energy density coefficient that correlates the forces shows why the electron and the Add to Reading List Source URL: www.mqnf.com Language: English - Date: 2012-12-06 19:22:25 Standard Model Spintronics Nuclear physics Higgs boson Quark Weak interaction Electron Proton Spin Physics Particle physics Electroweak theory
755	The Higgs Condition By William Gray August 2, 2012 Abstract By applying Maxwell’s EM Theory, Boltzmann’s probability in a Add to Reading List Source URL: www.mqnf.com Language: English - Date: 2012-11-15 23:09:11 Quantum field theory Spintronics Quantum electrodynamics Standard Model Electron Spin Quark Electromagnetic radiation Higgs boson Physics Particle physics Electroweak theory
756	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:27 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory
757	The Higgs Mass-Energy Gravity Construct by William Gray Abstract Recent evidence of a 125 GeV Higgs boson at CERN, the result of light Add to Reading List Source URL: www.mqnf.com Language: English - Date: 2012-11-17 16:08:24 Classical mechanics Quantum field theory Standard Model Quark Spin Electronvolt Force Electron Matter Physics Particle physics Spintronics
758	A family of abstract interpretations for static analysis of concurrent higher-order programs Matthew Might and David Van Horn University of Utah and Northeastern University [removed] and [removed] http Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:20 Continuation Control flow Call-with-current-continuation Thread Model theory Structure Software engineering Computing Computer programming
759	Rating Disambiguation Errors Andrea Asperti and Wilmer Ricciotti Department of Computer Science, University of Bologna {asperti,ricciott}@cs.unibo.it Abstract. Ambiguous notation is a powerful tool developed to deal wi Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2013-01-07 05:26:22 Regression analysis Interpretation Philosophy of mind Semantics Statistical hypothesis testing Errors and residuals in statistics Statistical power Structure Symbol Statistics Hypothesis testing Model theory
760	Value of Learning in Sponsored Search Auctions Sai-Ming Li1 , Mohammad Mahdian1 , and R. Preston McAfee1 Yahoo! Inc. Santa Clara, CA, USA. Abstract. The standard business model in the sponsored search marketplace is to Add to Reading List Source URL: vita.mcafee.cc Language: English - Date: 2010-10-13 00:48:55 Marketing Spectrum Pay per click Vickrey auction Mathematics Business Spectral theory Auction theory

UPDATE